Winter, Kirsten: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Speech and language therapy provision for bilingual children: aspects of the current service

Journal:

International Journal of Language & Communication Disorders

Year:

1999

Language:

english

File:

PDF, 175 KB

english, 1999

2

Experience with fault injection experiments for FMEA

Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 400 KB

english, 2011

3

The inter‐rater and test‐retest reliability of skin thickness and skin elasticity measurements by the DermaLab Combo in healthy participants

Peperkamp, Kirsten, Verhulst, Arico C., Tielemans, Hanneke J. P., Winters, Harm, Dalen, Demi, Ulrich, Dietmar J. O.

Journal:

Skin Research and Technology

Year:

2019

Language:

english

File:

PDF, 593 KB

english, 2019

4

Oxidative DNA damage by nanoparticles in human intestinal Caco-2 cells in the presence or absence of neutrophils

Kirsten Gerloff, Agnes W. Boots, Meike Winter, Irmgard Förster, Catrin Albrecht, Roel P.F. Schins

Journal:

Toxicology Letters

Year:

2009

Language:

english

File:

PDF, 83 KB

english, 2009

5

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems

Robert Colvin, Lars Grunske, Kirsten Winter

Journal:

Journal of Systems and Software

Year:

2008

Language:

english

File:

PDF, 948 KB

english, 2008

6

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Probabilistic Model-Checking Support for FMEA

Grunske, Lars, Colvin, Robert, Winter, Kirsten

Year:

2007

Language:

english

File:

PDF, 792 KB

english, 2007

7

Defining the abstract syntax of visual languages with advanced graph grammars—A case study based on behavior trees

Lars Grunske, Kirsten Winter, Nisansala Yatapanage

Journal:

Journal of Visual Languages & Computing

Year:

2008

Language:

english

File:

PDF, 2.23 MB

english, 2008

8

[IEEE 2009 Australian Software Engineering Conference - Gold Coast, Australia (2009.04.14-2009.04.17)] 2009 Australian Software Engineering Conference - Dynamic Relational Behaviour for Large-Scale Systems

Winter, Kirsten, Colvin, Robert, Dromey, R. Geoff

Year:

2009

Language:

english

File:

PDF, 253 KB

english, 2009

9

Addressing Racial Inequities in Breastfeeding in the Southern United States

Merewood, Anne, Bugg, Kimarie, Burnham, Laura, Krane, Kirsten, Nickel, Nathan, Broom, Sarah, Edwards, Roger, Feldman-Winter, Lori

Journal:

Year:

2019

File:

PDF, 2.97 MB

2019

10

[IEEE 2012 35th Annual IEEE Software Engineering Workshop (SEW) - Heraclion, Crete, Greece (2012.10.12-2012.10.13)] 2012 35th Annual IEEE Software Engineering Workshop - Incremental Development of Multi-agent Systems in Object-Z

Smith, Graeme, Winter, Kirsten

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

11

[IEEE 2007 Australian Software Engineering Conference (ASWEC'07) - Melbourne, Australia (2007.04.10-2007.04.13)] 2007 Australian Software Engineering Conference (ASWEC'07) - Timed Behavior Trees and Their Application to Verifying Real-Time Systems

Grunske, Lars, Winter, Kirsten, Colvin, Robert

Year:

2007

Language:

english

File:

PDF, 549 KB

english, 2007

12

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Modelling and Verification for Swarm Robotics

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 2.15 MB

english, 2018

13

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Design and Verification of Restart-Robust Industrial Control Software

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 744 KB

english, 2018

14

Cut Set Analysis using Behavior Trees and model checking

Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 592 KB

english, 2012

15

Model checking action system refinements

Graeme Smith, Kirsten Winter

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 691 KB

english, 2009

16

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Formal Modelling of Software Defined Networking

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.57 MB

english, 2018

17

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Repair and Generation of Formal Models Using Synthesis

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 707 KB

english, 2018

18

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || A Precise Pictorial Language for Array Invariants

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 518 KB

english, 2018

19

The 3D7var5.2 (varCOMMON) type var gene family is commonly expressed in non-placental Plasmodium falciparum malaria

Gerhard Winter, Qijun Chen, Kirsten Flick, Peter Kremsner, Victor Fernandez, Mats Wahlgren

Journal:

Molecular and Biochemical Parasitology

Year:

2003

Language:

english

File:

PDF, 777 KB

english, 2003

20

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 517 KB

english, 2018

21

Prä- und intraoperative Ultraschallbildgebung in der Neurochirurgie

Christian Hansen, Martin Engelhardt, Bernhard Brendel, Susanne Winter, Jens Eyding, Kirsten Schmieder, Helmut Ermert

Journal:

Zeitschrift für Medizinische Physik

Year:

2007

File:

PDF, 1.03 MB

2007

22

Raf kinase inhibitor protein affects activity of Plasmodium falciparum calcium-dependent protein kinase 1

Dominik Kugelstadt, Dominic Winter, Kirsten Plückhahn, Wolf Dieter Lehmann, Barbara Kappes

Journal:

Molecular and Biochemical Parasitology

Year:

2007

Language:

english

File:

PDF, 338 KB

english, 2007

23

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || On the Industrial Uptake of Formal Methods in the Railway Domain

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

24

Designing visualization software for super-wicked problems

Winters, Kirsten M., Cushing, Judith B., Lach, Denise

Journal:

Information Polity

Year:

2016

Language:

english

File:

PDF, 261 KB

english, 2016

25

Modelling concurrent objects running on the TSO and ARMv8 memory models

Winter, Kirsten, Smith, Graeme, Derrick, John

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 706 KB

english, 2019

26

Marasmius oreades agglutinin (MOA) is a chimerolectin with proteolytic activity

Gabriele Cordara, Wolfgang Egge-Jacobsen, Harald T. Johansen, Harry C. Winter, Irwin J. Goldstein, Kirsten Sandvig, Ute Krengel

Journal:

Biochemical and Biophysical Research Communications

Year:

2011

Language:

english

File:

PDF, 768 KB

english, 2011

27

Phylogenetic relationships elucidate colonization patterns in the intertidal grazers Osilinus Philippi, 1847 and Phorcus Risso, 1826 (Gastropoda: Trochidae) in the northeastern Atlantic Ocean and Mediterranean Sea

Kirsten M. Donald, Joanne Preston, Suzanne T. Williams, David G. Reid, David Winter, Raquel Alvarez, Barbara Buge, Stephen J. Hawkins, Jose Templado, Hamish G. Spencer

Journal:

Molecular Phylogenetics and Evolution

Year:

2012

Language:

english

File:

PDF, 2.29 MB

english, 2012

28

Mass Society and the Extension of Welfare, 1960-1970

Winters, Richard, Gronbjerg, Kirsten A.

Journal:

American Political Science Review

Year:

1979

Language:

english

File:

PDF, 215 KB

english, 1979

29

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Mode-Aware Concolic Testing for PLC Software

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 409 KB

english, 2018

30

Hematology and plasma biochemistries in the Blanding’s turtle (Emydoidea blandingii) in Lake County, Illinois

Mumm, Lauren E., Winter, John M., Andersson, Kirsten E., Glowacki, Gary A., Adamovicz, Laura A., Allender, Matthew C., Johnson, Colin

Journal:

Year:

2019

Language:

english

File:

PDF, 560 KB

english, 2019

31

Codon stabilization analysis of the “248” temperature sensitive mutation for increased phenotypic stability of respiratory syncytial virus vaccine candidates

Cindy Luongo, Lijuan Yang, Christine C. Winter, Kirsten M. Spann, Brian R. Murphy, Peter L. Collins, Ursula J. Buchholz

Journal:

Year:

2009

Language:

english

File:

PDF, 264 KB

english, 2009

32

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

33

Next-preserving branching bisimulation

Yatapanage, Nisansala, Winter, Kirsten

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 772 KB

english, 2015

34

Reasoning about adaptivity of agents and multi-agent systems

Smith, Graeme, Sanders, J. W., Winter, Kirsten

Year:

2012

Language:

english

File:

PDF, 350 KB

english, 2012

35

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Study of Integrating Random and Symbolic Testing for Object-Oriented Software

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.12 MB

english, 2018

36

Detection of point mutations in amplified single copy genes by biotin-labelled oligonucleotides: Diagnosis of variants of alpha-1-antitrypsin

Niels Gregersen, Vibeke Winter, Kirsten Bruun Petersen, Jørn Koch, Steen Kølvraa, Niels Rüdiger, Else-Marie Heinsvig, Lars Bolund

Journal:

Clinica Chimica Acta

Year:

1989

Language:

english

File:

PDF, 1.02 MB

english, 1989

37

The importance of lake-specific characteristics for water quality across the continental United States

Read, Emily K., Patil, Vijay P., Oliver, Samantha K., Hetherington, Amy L., Brentrup, Jennifer A., Zwart, Jacob A., Winters, Kirsten M., Corman, Jessica R., Nodine, Emily R., Woolway, R. Iestyn, Dugan

Journal:

Ecological Applications

Year:

2015

Language:

english

File:

PDF, 931 KB

english, 2015

38

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten, Colvin, Robert J.

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 851 KB

english, 2018

39

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Task Planning with OMT: An Application to Production Logistics

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 529 KB

english, 2018

40

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Resource-Aware Virtually Timed Ambients

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

41

[ACM Press the 2012 BELIV Workshop - Seattle, Washington (2012.10.14-2012.10.15)] Proceedings of the 2012 BELIV Workshop on Beyond Time and Errors - Novel Evaluation Methods for Visualization - BELIV '12 - Which visualizations work, for what purpose, for whom?

Cushing, Judith Bayard, Hayduk, Evan, Walley, Jerilyn, Winters, Kirsten, Lach, Denise, Bailey, Michael, Thomas, Christoph, Stafford, Susan G.

Year:

2012

Language:

english

File:

PDF, 1.43 MB

english, 2012

42

Simulation Machines for Checking Action System Refinements

Graeme Smith, Kirsten Winter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 327 KB

english, 2007

43

Phylogeography of the whelk genus Cominella (Gastropoda: Buccinidae) suggests long-distance counter-current dispersal of a direct developer

Donald, Kirsten M., Winter, David J., Ashcroft, Anna L., Spencer, Hamish G.

Journal:

Biological Journal of the Linnean Society

Year:

2015

Language:

english

File:

PDF, 915 KB

english, 2015

44

The fungal chimerolectin MOA inhibits protein and DNA synthesis in NIH/3T3 cells and may induce BAX-mediated apoptosis

Cordara, Gabriele, Winter, Harry C., Goldstein, Irwin J., Krengel, Ute, Sandvig, Kirsten

Journal:

Biochemical and Biophysical Research Communications

Year:

2014

Language:

english

File:

PDF, 342 KB

english, 2014

45

[ACM Press the Fifth Workshop - Paris, France (2014.11.10-2014.11.10)] Proceedings of the Fifth Workshop on Beyond Time and Errors Novel Evaluation Methods for Visualization - BELIV '14 - Considerations for characterizing domain problems

Winters, Kirsten M., Lach, Denise, Cushing, Judith B.

Year:

2014

Language:

english

File:

PDF, 1.23 MB

english, 2014

46

A Novel DBL-Domain of the P. falciparum 332 Molecule Possibly Involved in Erythrocyte Adhesion

Moll, Kirsten, Chêne, Arnaud, Ribacke, Ulf, Kaneko, Osamu, Nilsson, Sandra, Winter, Gerhard, Haeggström, Malin, Pan, Weiqing, Berzins, Klavs, Wahlgren, Mats, Chen, Qijun, Rodrigues, Mauricio

Journal:

Year:

2007

Language:

english

File:

PDF, 364 KB

english, 2007

47

Homecare for sick family members while waiting for medical help during the 2014-2015 Ebola outbreak in Sierra Leone: a mixed methods study

Schmidt-Hellerau, Kirsten, Winters, Maike, Lyons, Padraig, Leigh, Bailah, Jalloh, Mohammad B, Sengeh, Paul, Sawaneh, Alhaji Babah, Zeebari, Zangin, Salazar, Mariano, Jalloh, Mohamed F, Nordenstedt, He

Journal:

BMJ Global Health

Year:

2020

File:

PDF, 513 KB

2020

48

BSAVA editorial (+ image): pink page i

Cordara, Gabriele, Winter, Harry C., Goldstein, Irwin J., Krengel, Ute, Sandvig, Kirsten

Journal:

Journal of Feline Medicine & Surgery

Year:

2005

Language:

english

File:

PDF, 190 KB

english, 2005

49

Dynamic exophthalmos and lateral strabismus in a dog caused by masticatory muscle myositis

Czerwinski, Sarah L., Plummer, Caryn E., Greenberg, Shari M., Craft, William F., Conway, Julia A., Perez, Mayrim L., Cooke, Kirsten L., Winter, Matthew D.

Journal:

Veterinary Ophthalmology

Year:

2015

Language:

english

File:

PDF, 419 KB

english, 2015

50

Who Benefits from National Estuaries? Applying the FEGS Classification System to Identify Ecosystem Services and their Beneficiaries

Yee, Susan Harrell, Sullivan, Angelica, Williams, Kathleen C., Winters, Kirsten

Journal:

International Journal of Environmental Research and Public Health

Year:

2019

File:

PDF, 1.39 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски